//内核启动！

// C语言编写的内核入口点。
// 主要包含kern_init()函数，
// 从kern/entry.S跳转过来完成其他初始化工作。

#include <stdio.h>
#include <string.h>
#include <sbi.h>
int kern_init(void) __attribute__((noreturn));

int kern_init(void) {
    extern char edata[], end[];
    memset(edata, 0, end - edata);

    const char *message = "(NKU.CST) os is loading ...\n";
    cprintf("%s\n\n", message);
   while (1)
        ;
}
